841. Mathematics of program construction : 375th Anniversary of the Groningen University : International Conference, Groningen, the Netherlands, June 26-30, 1989 : Proceedings
پدیدآورنده : J.L.A. van de Snepscheut )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
375
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
842. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
پدیدآورنده : Eerke A. Boiten, Bernhard Moller )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2386
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
843. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
پدیدآورنده : Johan Jeuring, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1422
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
844. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده : Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
845. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده : Dexter Kozen )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
846. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
847. Mathematics of software constructions
پدیدآورنده : Norcliffe, Allan
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Mathematics- 1691-,، Computer science- Mathematics,، Software eingineering
![](/design/images/bookmore.png)
848. Maximum Penalized Likelihood Estimation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Statistics. ; Biometrics. ; Statistical methods. ; Computer science ; Mathematics. ; Mathematical statistics. ; Econometrics. ; Statistics. ; Computational Mathematics and Numerical Analysis. ; Biostatistics. ; Signal, Image and Speech Processing. ; Econo
![](/design/images/bookmore.png)
849. Meshfree Methods for Partial Differential Equations V
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Differential equations, partial. ; Computer science ; Mathematics. ; Computer science. ; Mechanics, applied. ; Mathematics. ; Computational Mathematics and Numerical Analysis. ; Computational Science and Engineering. ; Partial Differential
![](/design/images/bookmore.png)
850. Methods and Models in Mathematical Programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Software engineering. ; Computational Mathematics and Numerical Analysis. ; -Computer mathematics. ; Computer science
![](/design/images/bookmore.png)
851. Mixed Finite Element Methods and Application
پدیدآورنده : / by Daniele Boffi, Franco Brezzi, Michel Fortin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science, Mathematics,Computer science,Mechanics, applied,Electronic books
رده :
E-BOOK
![](/design/images/bookmore.png)
852. Modeling, Simulation and Optimization of Complex Processes : Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam
پدیدآورنده : Georg Bock, Hans
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Mathematical optimization.,، Computer science.,، Mathematics.
رده :
QA
76
.
88
.
I5667
2012
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
853. : Modeling and Computational Science
پدیدآورنده : \ Roderick Melnik, Roman Makarov, Jacques Belair, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics.,Mathematical models. ,Computer science-- Mathematics., ریاضیات,الگوهای ریاضی,علوم کامپیوتر -- ریاضیات
رده :
E-book
,
![](/design/images/bookmore.png)
854. Modeling and Simulatio
پدیدآورنده : / electronic resource
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer simulation,Computer science, Mathematics,Computer science,Mathematics,Computational Science and Engineering,Computational Mathematics and Numerical Analysis,Mathematical Modeling and Industrial Mathematics,Simulation and Modeling
رده :
E-BOOK
![](/design/images/bookmore.png)
855. Modeling and analysis of communicating systems
پدیدآورنده : Groote, Jan Friso, 5691-
کتابخانه: (طهران)
موضوع : Simulation methods ، Telecommunication systems,، Computer science -- Mathematics,، Machine theory
رده :
TK
5102
.
83
.
G76M6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
856. Modern Cryptography
پدیدآورنده : \ Chuck Easttom
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Data encryption (Computer science),Information networks -- Security measures -- Mathematics.,رمزگذاری دادهها,شبکههای اطلاعرسانی -- تدابیر ایمنی -- ریاضیات
رده :
E-Book
,
![](/design/images/bookmore.png)
857. Modern Mathematical Methods and High Performance Computing in Science and Technology
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Congresses,Computer science -- Mathematics -- Congresses,High performance computing -- Congresses,ریاضیات -- کنگرهها,علوم کامپیوتر -- ریاضیات -- کنگرهها,دادهپردازی با بازدهی عالی -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
858. Modern Optimization Techniques with Applications in Electric Power Systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Operator theory. ; Computer science. ; Mathematical optimization. ; Mathematics. ; Operator Theory. ; Computational Science and Engineering. ; Operations Research, Management Science. ; Optimization. ;
![](/design/images/bookmore.png)
859. Modern computer algebra
پدیدآورنده : / Joachim von zur Gathen and Jeurgen Gerhard
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer algorithms,Algebra, Data processing,Computer science, Mathematics
![](/design/images/bookmore.png)